The main result of the present paper is the theorem 1, which describes the topological support of an arbitrary Gaussian measure in a separable Banach space. This theorem will be proved after some discussion of the notion of support itself. But we begin with the reminder of the notion of covariance operator of a probability measure. This notion has a great importance not only for the description of support of Gaussian measures but also for the study of other problems in the theory of probability measures in linear spaces (c.f. [1], [2]).